49 found
Order:
  1. Logical paradoxes.John Van Heijenoort - 1967 - In Paul Edwards (ed.), The Encyclopedia of philosophy. New York,: Macmillan. pp. 45-51.
     
    Export citation  
     
    Bookmark   3 citations  
  2.  23
    Bocheński I. M. Spitzfindigkeit. Festgabe an die Schweizerkatholihen, Universitätsverlag, Freiburg 1954, pp. 334–352.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):382-382.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  7
    On Careful Reasoning in Ordinary Language.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):399-399.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  6
    Natural and Scientific Language.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  8
    Les Idées Actuelles sur la Structure de la Penseé Logique.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):29-29.
  6.  12
    A Note on Empiricism.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (2):213-214.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  18
    Hutten Ernest H.. Natural and scientific language. Philosophy, vol. 29 , pp. 27–43.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  10
    Haggstrom Warren C.. On careful reasoning in ordinary language. Analysis , vol. 12 no. 4 , pp. 82–85.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):399-399.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  18
    Martin Roger. Raisonnement mathématique et récurrence. Les études philosophiques, n.s. vol. 11 , pp. 242–262.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):358-359.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  12
    Xenakis Jason. The logic of proper names. Methodos, vol. 7 no. 25–26 , pp. 13–24.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):396-397.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  42
    The Basic Laws of Arithmetic: Exposition of the System. [REVIEW]John van Heijenoort - 1966 - Journal of Philosophy 63 (1):28-28.
  12.  19
    Review: Alfred Tarski, What is Elementary Geometry? [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):93-93.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  93
    Leibniz Critique de Descartes. [REVIEW]John van Heijenoort - 1961 - Journal of Philosophy 58 (2):53-55.
  14.  39
    Les Limitations Internes des Formalismes. Étude sur la Signification du Théorème de Gödel et des Théorèmes Apparentés dans la Théorie des Fondements des Mathématiques. [REVIEW]John van Heijenoort & Jean Ladriere - 1959 - Journal of Philosophy 56 (7):333-337.
  15.  28
    Book Review: An Introduction to Deductive Logic by Hugues Leblanc. [REVIEW]John van Heijenoort - 1955 - Journal of Philosophy 52 (24):753-754.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  25
    Ackermann Wilhelm. Philosophische Bemerkungen zur mathematischen Logik und zur mathematischen Grundlagenforschung. Ratio , vol. 1 no. 1 , pp. 1–20.Ackermann Wilhelm. Philosophical observations on mathematical logic and on investigations into the foundations of mathematics. English translation. Ratio , vol. 1 no. 1 , pp. 1–23. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):342-343.
  17.  22
    Bense Max. Transzendentale und mathematische Logik. Zeitschrift für philosophische Forschung, vol. 4 no. 4 , pp. 556–571. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):401-402.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  13
    Bernays Paul. Mathematische Existenz und Widerspruchsfreiheit. Études de philosophie des sciences, en hommage à F. Gonseth à l'occasion de son soix-antième anniversaire, Éditions du Griffon, Neuch'tel 1950, pp. 11–25. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):210-211.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  9
    Blanché Robert. Introduction à la logique contemporaine. Librairie Armand Colin, Paris 1957, 208 pp. [REVIEW]John van Heijenoort - 1959 - Journal of Symbolic Logic 24 (1):71-71.
  20.  16
    Blanché Robert. Sur la structuration du tableau des connectifs interpropositionnels binaires. [REVIEW]John van Heijenoort - 1959 - Journal of Symbolic Logic 24 (3):228-228.
  21.  8
    Dubarle Le R. P.. Initiation à la logique. Collection de logique mathématique, ser. A no. 13. “Tyme offset.” Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1957, title pages + 91 pp. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30-30.
  22.  36
    Gentzen Gerhard. Recherches sur la déduction logique. French translation of 4422 by Ladrière Jean, with added footnotes by the translator. Presses Universitaires de France, Paris 1955, XI + 170 pp.Feys Robert. Préface. Therein, pp. VII–XI.Feys Robert. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2.Feys Robert. Note B. Notation explicite des suppositions. Therein, pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39.Feys Robert. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83.Ladrière Jean. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89.Feys Robert. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92.Ladriére Jean. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97.Ladriére Jean. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100.Ladriére Jean. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  4
    Issmann Samuel. Problèmes de la définition. Methodos, vol. 4 , pp. 91–117.Ceccato S., Facchi P., Vaccarino G.. Discussione. Methodos, vol. 4 , pp. 117–118. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):211-212.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  26
    Leibniz Critique de Descartes. [REVIEW]John van Heijenoort - 1961 - Journal of Philosophy 58 (2):53-55.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  16
    Mora José Ferrater. Qué es la lógica. Colección Esquemas. Editorial Columba, Buenos Aires 1957, 73 pp. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):350-351.
  26.  15
    Mora José Ferrater. Diccionario de filosofia. Cuarta edición. Editorial Sudamericana, Buenos Aires 1958, 1481 pp. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (3):249-250.
  27.  23
    Martin Roger. Les idées actuelles sur la structure de la pensée logique. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 Avril 1956, Éditions Albin Michel, Paris 1957, pp. 1–16. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):29-29.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  13
    McGill V. J. and Parry W. T.. The unity of opposites: A dialectical principle. Science and society, vol. 12 , pp. 418–444. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):212-213.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  13
    Review: Augustin Sesmat, Logique. I. Les Definitions, Les Jugements; Augustin Sesmat, Logique. II. Les Raisonnements, la Logistique. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (1):77-77.
  30.  3
    Review: Erenst H. Hutten, Natural and Scientific Language. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  4
    Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Review: Gonzalo Zubieta Russi, Algunos Teoremas en la Teoria de la Cuantificacion Elemental. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):56-56.
     
    Export citation  
     
    Bookmark  
  33.  2
    Review: Gonzalo Zubieta R., Clases Aritmeticas Defindas sin Igualdad. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):55-56.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  21
    R. Gonzalo Zubieta Clases aritméticas definidas sin igualdad. Boletín de la Sociedad Matemática Mexicana, second series, vol. 2 , pp. 45–53. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):55-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  10
    Russi Gonzalo Zubieta. Algunos teoremas en la teoría de la cuantificación elemental. Memoria del Congreso Cientifico Mexicano, I Ciencias fisicas y matemáticas. Universidad Nacional Autónoma de México, Mexico 1953, pp. 100–108. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):56-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  17
    Review: I. M. Bochenski, Spitzfindigkeit. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):382-382.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  16
    Review: Jose Ferrater Mora, Diccionario de Filosofia. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (3):249-250.
  38. Review: Le R. P. Dubarle, Initiation a la Logique. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30-30.
  39.  21
    Review: M. C. Badillo Barallat, Automatizacion de los Silogismos en una Logica Polivalente. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-112.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  40.  17
    Review: M. C. Badillo, Logica Trivalente en la Automatizacion de los Circuitos. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-113.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  41.  7
    Review: Robert Blanche, Sur la Structuration du Tableau des Connectifs Interpropositionnels Binaries. [REVIEW]John van Heijenoort - 1959 - Journal of Symbolic Logic 24 (3):228-228.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  7
    Review: Roger Martin, Les Idees Actuelles sur la Structure de la Pensee Logique. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):29-29.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    Review: Samuel Issmann, Problemes de la Definition; S. Ceccato, P. Facchi, G. Vaccarino, Discussione. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):211-212.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  15
    Review: V. J. McGill, W. T. Parry, The Unity of Opposites: A Dialectical Principle. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):212-213.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  15
    Review: Warren C. Haggstrom, On Careful Reasoning in Ordinary Language. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):399-399.
  46.  9
    Sesmat Augustin. Logique. I. Les définitions, les jugements. Actualités scientifiques et industrielles 1086. Hermann & Cie, Paris 1950, 360 pp.Sesmat Augustin. Logique. II. Les raisonnements, la logistique. Actualités scientifiques et industrielles 1130. Hermann & Cie, Paris 1951, pp. 361–776. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (1):77-77.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  21
    Moh Shaw-Kwei. Chü-yow yow-ch'ung koh moh-t'ai-tzu ti moh-t'ai hsi-t'ung . Acta mathematica Sinica, vol. 7 , pp. 1–27. - English summary reprinted in Mathematical reviews, vol. 21 , p. 2. See the review of the English translation of this paper, XXV 183. - M. C. Badillo Barallat. Esquemas representativos de sistemas regidos por una lógica polivalente. Spanish, with English summary. Revista de cálculo automático y cibernética, vol. 4 no. 9 , pp. 54–62. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (2):184-185.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  44
    Storer Thomas. A note on empiricism. Philosophical studies , vol. 4 , p. 78.Hochberg Herbert. Professor Storer on empiricism. Philosophical studies , vol. 5 , pp. 29–31.Kauf David Karl. A comment on Hochberg's reply to Storer. Philosophical studies , pp. 57–58. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (2):213-214.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49.  17
    Zubieta R. Gonzalo Definiciones formales de numerabilidad. Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 1 no. 1 , pp. 49–56. [REVIEW]John van Heijenoort - 1963 - Journal of Symbolic Logic 28 (3):251-251.